Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science)
by Christian Colombo,Martin Leucker
ISBN 13: 9783030037680
Format: Paperback (484 pages) Publisher: Springer Published: 03 Jan 2019
Save for later